- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by A. M. Turing
12 found
Order:
- Intelligent machinery, a heretical theory.A. M. Turing - 1996 - Philosophia Mathematica 4 (3):256-260.
- Computability and λ-definability.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):153-163.
- Computability and $lambda$-Definability.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):153-163.
- Entscheidungsproblem.A. M. Turing - unknownThere are many complex characters in this paper; if you find them difficult to distinguish, you are advised to increase the viewing size.No categories
- Practical forms of type theory.A. M. Turing - 1948 - Journal of Symbolic Logic 13 (2):80-94.
- A formal theorem in church's theory of types.M. H. A. Newman & A. M. Turing - 1942 - Journal of Symbolic Logic 7 (1):28-33.
- A Formal Theorem in Church's Theory of Types.M. H. A. Newman & A. M. Turing - 1942 - Journal of Symbolic Logic 7 (3):122-122.
- Burks Arthur W.. The logic of programming electronic digital computers. Industrial mathematics , vol. 1 , pp. 36–52.A. M. Turing - 1953 - Journal of Symbolic Logic 18 (2):179-179.
- The p-function in λ-k-conversion.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):164.
- The $mathfrak{p}$-Function in $lambda-K$-Conversion.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):164-164.
- The use of dots as brackets in church's system.A. M. Turing - 1942 - Journal of Symbolic Logic 7 (4):146-156.
- Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers. [REVIEW]A. M. Turing - 1953 - Journal of Symbolic Logic 18 (2):179-179.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-659b74868d-jrkjf uwo